git pull --forceっぽいことをする
localをremoteで強制上書きする
$ git push -f
の逆っぽいことをする
手順
$ git fetch origin develop
$ git reset --hard origin/develop
現在のlocal branchをoriginに合わせる
aliasを用意しておくと便利
λ git pull-f